English linear bounded automaton: перевод на другие языки